Leichtman Research Group 2Q 2016 Research Notes

Source URL: www.leichtmanresearch.com

• High-definition television
• Virgin Media
• Broadband
• NTL Incorporated
• Multichannel video programming distributor
• DirecTV
• NET
• Cable TV Hong Kong
• Dish Network
• Cable television
• Set-top box
• OTE

Learning from Demonstrations: Is It Worth Estimating a Reward Function? Bilal Piot1,2 , Matthieu Geist1 , Olivier Pietquin1,2 1 Supélec, IMS-MaLIS Research group, France

Source URL: www.ilhaire.eu

• Operations research
• Dynamic programming
• Stochastic control
• Markov processes
• Reinforcement learning
• Markov decision process
• Valuation
• Algorithm
• Mathematical optimization

CS261: Problem Set #3 Due by 11:59 PM on Tuesday, February 23, 2016 Instructions: (1) Form a group of 1-3 students. You should turn in only one write-up for your entire group. (2) Submission instructions: We are using Gr

Source URL: theory.stanford.edu

• Operations research
• Linear programming
• Mathematical optimization
• Convex optimization
• Algorithm
• Candidate solution
• Simplex algorithm
• Linear programming relaxation

SPECIFIC TARGETED RESEARCH PROJECT INFORMATION SOCIETY TECHNOLOGIES FP6-ISTVIsualize all moDel drivEn programming VIDE

Source URL: vide.tnmsoft.de

• Workflow technology
• Scientific modeling
• Business process modelling
• Unified Modeling Language
• Diagrams
• Business Process Model and Notation
• Business process modeling
• XPDL
• Model-driven architecture
• Object Management Group
• Software development
• Workflow Management Coalition

Delft University of Technology Software Engineering Research Group Technical Report Series A Theory of Name Resolution with Extended Coverage and Proofs

Source URL: swerl.tudelft.nl

• Software engineering
• Computing
• Computer programming
• Compiler construction
• Scope
• Name resolution
• Syntax
• Variable
• Lambda calculus
• Declaration
• Compiler
• Scheme

Research Overview Distributed Computing Generally speaking, we are interested in both theory and practice of computer science and information technology. In our group we cultivate a large breadth of areas, reflecting ou

Source URL: www.disco.ethz.ch

• Computing
• Wireless sensor network
• Computer science
• Distributed computing
• Symposium on Principles of Distributed Computing
• Conference on Embedded Networked Sensor Systems
• International Conference on Information Processing in Sensor Networks
• Symposium on Foundations of Computer Science
• Symposium on Theory of Computing
• International Colloquium on Automata
• Languages and Programming
• ACM SIGACT
• Dijkstra Prize

Discovering hypervisor overheads using micro and macrobenchmarks Andrea Bastoni, Daniel P. Bovet, Marco Cesati, and Paolo Palana System Programming Research Group University of Rome “Tor Vergata” Roma, Italy

Source URL: www.sprg.uniroma2.it

Logic-Statistic Models with Constraints for Biological Sequence Analysis Christian Theil Have Research Group PLIS: Programming, Logic and Intelligent Systems Department of Communication, Business and Information Technolo

Source URL: akira.ruc.dk

Evaluation of performance and productivity metrics of potential programming languages in the HPC environment — Bachelor Thesis — Research group Scientific Computing

Source URL: octarineparrot.com

Delft University of Technology Software Engineering Research Group Technical Report Series Spoofax: An Extensible, Interactive Development Environment for Program

Source URL: swerl.tudelft.nl

• Stratego/XT
• Program transformation
• ASF+SDF Meta Environment
• Stratego
• Eclipse
• ECL programming language
• Domain-specific language
• Emacs
• Code refactoring
• Software
• Computing
• Transformation languages